@Comment{ErrLog of EURISK.MSS generated by Scribe 3A(1130) on 27 March 1981 at 18:14}

Error found while finishing up after the end of the manuscript:
1 labels were referenced but never defined.  See error log file.

Undefined Label                   First reference
-------------------------------------------------------
?                                 (EURISK.MSS, 05000/14)